Automatic programming - PDFSEARCH.IO - Document Search Engine

Automatic programming
Results: 566

#	Item
61	Automatic Verification of Determinism for Structured Parallelism Martin Vechev IBM T.J. Watson Research Center Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-05 13:02:44 Software engineering Computing Computer programming Procedural programming languages Concurrent programming languages Object-oriented programming languages ALGOL 68 Nm Determinism Cilk D
62	Scaling up Gaussian Belief Space Planning through Covariance-Free Trajectory Optimization and Automatic Differentiation Sachin Patil, Gregory Kahn, Michael Laskey, John Schulman, Ken Goldberg, Pieter Abbeel University of Add to Reading List Source URL: goldberg.berkeley.edu Language: English - Date: 2014-04-26 02:11:09 Mathematical optimization Systems theory Engineering Systems science Control theory Robot control Operations research Optimal control Trajectory optimization Kalman filter Model predictive control Quadratic programming
63	Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-08-30 12:25:15 Software engineering Software testing Computing Theoretical computer science Formal methods Logic in computer science Object-oriented programming Postcondition Random testing Eiffel General-purpose computing on graphics processing units Test data generation
64	Jade: A High-Level, Machine-Independent Language for Parallel Programming Martin C. Rinard, Daniel J. Scales and Monica S. Lam Computer Systems Laboratory Stanford University, CA 94305 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2002-03-28 10:14:44 Concurrent computing Computing Parallel computing Software engineering Data parallelism Automatic parallelization Programming language Concurrency Programming paradigm Lock Type system Optimizing compiler
65	OpenMP Fortran Application Program Interface Oct Contents Add to Reading List Source URL: www.openmp.org Language: English - Date: 2009-09-20 00:04:18 Computer programming Software engineering Computing Parallel computing Application programming interfaces Fortran Source code OpenMP Array programming languages Automatic parallelization Directive SPMD
66	Informatik und Angewandte Kognitionswissenschaft Lehrstuhl f¨ ur Hochleistungsrechnen Thomas Fogal Prof. Dr. Jens Kr¨ uger Add to Reading List Source URL: hpc.uni-due.de Language: English - Date: 2014-12-03 11:25:06 Parallel computing Application programming interfaces Fortran OpenMP Numerical linear algebra Concurrent computing Automatic parallelization tool Parallel-TEBD
67	Nephele/PACTs: A Programming Model and Execution Framework for Web-Scale Analytical Processing Dominic Battré Odej Kao Stephan Ewen Add to Reading List Source URL: stratosphere.eu Language: English - Date: 2016-05-27 12:05:58 Parallel computing Computer programming Computing Software engineering Distributed computing architecture Parallelization contract MapReduce Hash function Automatic parallelization Parameter Function External sorting
68	DOI: CSIS120712021M EasyFJP: Providing Hybrid Parallelism as a Concern for Divide and Conquer Java Applications Cristian Mateos1 , Alejandro Zunino1 , and Mat´ıas Hirsch2 1 Add to Reading List Source URL: www.doiserbia.nb.rs Language: English - Date: 2013-07-08 04:57:56 Computing Concurrent computing Software engineering Parallel computing Explicit parallelism Parallel programming model Implicit parallelism Futures and promises Thread OpenMP Go Automatic parallelization
69	Bachelor Projects in the HIPERFIT Research Center Developing and Improving the “HIPERFIT Portfolio Management Prototype” The “HIPERFIT Portfolio Management Prototype” is a System for Managing and Pricing Portfoli Add to Reading List Source URL: hiperfit.dk Language: English - Date: 2016-03-31 07:17:13 Software engineering Computing Computer programming Array programming languages Functional languages APL programming language family Object-oriented programming languages University of Copenhagen UCPH Department of Computer Science APL Automatic parallelization Functional programming
70	transalpyne: a language for automatic transposition Luca De Feo ´ Schost Eric Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-03 11:22:43 Mathematics Algebra Linear algebra Functions and mappings Abstract algebra Differential calculus Matrix Linear programming Linear map Const Derivative Determinant

UPDATE